The Simplest Quantified Modal Logic (SQML) is controversial because it seems to conflict with some of our most basic intuitions about what is possible and what is necessary. Two controversial principles, the Barcan Schema ...